退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一个简单的名义逻辑序列微积分
James Cheney;
机译:名义逻辑的简单后续演算
机译:Angell分析遏制逻辑的简单序列微积分
机译:拓扑逻辑的多标签顺序演算
机译:名义逻辑的后续演算
机译:后续微积分:计算和对偶的逻辑和语言
机译:从真相比较游戏到Gödel逻辑的相依关系计算
机译:标称逻辑的简单后续演算
机译:用于简单功率分析(SPA)和差分功率分析(DPA)的密码逻辑电路具有执行数据逻辑运算的第一逻辑单元和执行逻辑运算结果第一逻辑单元的第二逻辑单元
机译:使用可编程阵列逻辑的压力控制顺序
机译:检查顺序逻辑电路
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。